$\forall$$r$:CRng, $a$:Ideal($r$)\{i\}. nsgrp\_of\_ideal($a$) $\in$ NormSubGrp\{i\}($r$$\downarrow$+gp)